home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / compiler / config.mli < prev    next >
Encoding:
Text File  |  1993-09-24  |  415 b   |  17 lines  |  [TEXT/MPS ]
  1. value path_library : string ref
  2. ;;
  3. value maxint_byte : int
  4.   and minint_byte : int
  5.   and maxint_short : int
  6.   and minint_short : int
  7. ;;
  8. value default_used_interfaces : (string * string list) list
  9.   and default_exec_name: string
  10. ;;
  11. value toplevel_input_prompt : string
  12.   and toplevel_output_prompt : string
  13.   and toplevel_error_prompt : string
  14.   and batch_output_prompt : string
  15.   and batch_error_prompt : string
  16. ;;
  17.